Issue2859.agda:25,15-16
The pattern variable c has the same name as the constructor c
when checking the clause should-fail c = c
